Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
491	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
492	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
493	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
494	Lecture 17 - Zero Knowledge Proofs Boaz Barak April 5, 2010 Review connections between: pseudorandom generators, one-way functions, pseudorandom functions, CPA secure symmetric encryption, message authentication codes, C Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-04-05 00:17:40 Computational complexity theory Zero-knowledge proof Proof of knowledge IP Soundness NP Quadratic residue Probabilistic method Mathematical proof Theoretical computer science Cryptography Cryptographic protocols
495	Global behavior of a plant-herbivore model Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Set theory Dynamical systems Curry–Howard correspondence Proof theory Type theory Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers
496	Microsoft Word - V-Con_Factsheet_final.doc Add to Reading List Source URL: www.rijkswaterstaat.nl Language: English - Date: 2014-04-05 02:57:38 Neurochemistry Probabilistic complexity theory Computer-aided design Data modeling Infrastructure Real estate Phencyclidine Rijkswaterstaat Probabilistically checkable proof Construction Architecture Building information modeling
497	Zhang et al. Advances in Diﬀerence Equations:108 DOIs13662RESEARCH Open Access Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Mathematics Proof theory Transcendental numbers Ordinal numbers Logic Constructible universe Mathematical logic Diophantine approximation
498	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: www.caia.swin.edu.au Language: English - Date: 2010-08-02 23:33:59 Set theory Ordinal numbers Proof theory Ordinal arithmetic
499	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:07 Set theory Ordinal numbers Proof theory Ordinal arithmetic
500	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics

UPDATE